A Flat Process Calculus for Nested Membrane Interactions
نویسندگان
چکیده
منابع مشابه
A Flat Process Calculus for Nested Membrane Interactions
The link-calculus has been recently proposed as a process calculus for representing interactions that are open (i.e. that the number of processes may vary), and multiparty (i.e. that may involve more than two processes). Here, we apply the link-calculus for expressing, possibly hierarchical and non dyadic, biological interactions. In particular, we provide a natural encoding of Cardelli’s Brane...
متن کاملMathematical Modeling of Gas Separation Process with Flat Carbon Membrane
Carbon molecular sieve membranes (CMSMs) have been considered as very promising candidates for gas separation, in terms of separation properties as well as thermal and chemical stability. Due to the numerous advantages and wide applications of carbon membranes, their application for gas separation is of special importance. Because of the importance of carbon membranes and a large number of stud...
متن کاملmathematical modeling of gas separation process with flat carbon membrane
carbon molecular sieve membranes (cmsms) have been considered as very promising candidates for gas separation, in terms of separation properties as well as thermal and chemical stability. due to the numerous advantages and wide applications of carbon membranes, their application for gas separation is of special importance. because of the importance of carbon membranes and a large number of stud...
متن کاملA Virtual Machine for a Process Calculus
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper presents a virtual machine for a strongly typed, polymorphic, concurrent, object-oriented programming language based on the TyCO process calculus. The system runs byte-code files, assembled from an intermediate assembly language re...
متن کاملA Logical Process Calculus
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Annals of Computer Science
سال: 2014
ISSN: 2248-2695
DOI: 10.7561/sacs.2014.1.91